Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
911	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
912	PDF Document Add to Reading List Source URL: topdrawer.aamt.edu.au Language: English Thought Epistemology Neuropsychological assessment Problem solving Cognition Knowledge Reason Mathematics Logic programming Reasoning Educational psychology Mind
913	E. Bibliography [1] Abelson, Harold, and Sussman, Gerald Jay, Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press, 1985. Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:51 Year of birth missing Actor model Concurrent computing Logic programming Prolog Barbara Jane Liskov Programming language Indeterminacy in concurrent computation Keith Clark Computing Software engineering Computer programming
914	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
915	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
916	Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-09-28 08:15:15 Logic in computer science Object-oriented programming Procedural programming languages Postcondition Control flow Eiffel Precondition Programming paradigms Exception handling Software engineering Computing Computer programming
917	php \| tek - Chicago, May 16-18, 2007 Exceptional PHP When Good Code Goes Bad Jeff Moore Add to Reading List Source URL: www.procata.com Language: English - Date: 2009-09-27 16:51:03 Logic in computer science Software bugs Postcondition Exception handling Precondition C Infinite loop Software engineering Computer programming Computing
918	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logic programming Logical syntax Default logic Well-formed formula Logical connective FO Stable model semantics Logic Mathematical logic Boolean algebra
919	Microsoft Word - wits-6pagefinal.doc Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2012-11-08 09:59:21 Computing Programming paradigms Logic programming Reasoning Constraint logic programming Constraint Handling Rules P/E ratio Knowledge representation and reasoning ECLiPSe Software engineering Constraint programming Declarative programming
920	Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2005-04-08 13:10:58 Science Non-classical logic Model theory Knowledge representation Default logic Modal logic First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming

UPDATE